widget: Remove private _gtk_widget_set_has_focus
authorTimm Bäder <mail@baedert.org>
Sat, 12 Aug 2017 06:48:50 +0000 (08:48 +0200)
committerTimm Bäder <mail@baedert.org>
Sat, 12 Aug 2017 13:56:53 +0000 (15:56 +0200)
commit07d6c7817db14f74d2ee9edcb7d36267c5a0332a
tree20d1ed492201f8ff226b6e57b2c4d4e9722a08c0
parenta5ba6dfe9713b1017a84691b24e48eb4fefb7e75
widget: Remove private _gtk_widget_set_has_focus

The css state here is now handled in gtk_widget_set_focus_child
gtk/gtkwidget.c